1. Computability, an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computable functions,، Recursion theory
رده :
QA
9
.
59
.
C87
1980
2. Computability, an introduction to recursive function theory
پدیدآورنده : / Nigel Cutland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
3. Computability : an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions,، Recursion theory,، Recursive functions
رده :
QA
9
.
59
.
C87
1980
4. Computability, an introduction to recursive function theory /
پدیدآورنده : Nigel Cutland
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
5. Computability, an introduction to recursive function theory
پدیدآورنده : / Nigel Cutland
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
6. Computability, an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel.
موضوع : ، Computable functions,، Recursion theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
7. Computability theory /
پدیدآورنده : Rebecca Weber
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
6
.
W43
2012
8. Computability theory : concepts and applications
پدیدآورنده : Dunne, Paul E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computable functions , Recursion theory , Turing machines
رده :
QA
9
.
59
.
D85
9. Computable analysis
پدیدآورنده : / by Klaus Weihrauch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computable functions,Recursion theory,Mathematical analysis
رده :
QA9
.
59
.
W46
2000
10. Computable analysis : an introduction
پدیدآورنده : Weihrauch, Klaus, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W44C6
11. Computable analysis: an introduction
پدیدآورنده : Weihrauch, K. )Klaus(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W46
2000
12. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
9
.
6
.
N6
1980
13. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
1
.
L4
v
.
811
14. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
no
.
811
15. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursion theory,، Computable functions
رده :
QA
3
.
L28
no
.
811
16. Recursion on the countable functionals
پدیدآورنده : Normann, Day, 7491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
Vol
.
811
17. Recursively enumerable sets and degrees :astudy of computable functions and computably generated sets
پدیدآورنده : Soare, Robert Irving
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
